| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 455987 | ||
| Vorlesung | 455727 | Mi 15:00-17:00 AH V (2356|050) (×1) Do 14:30-16:00 AH V (2356|050) (×9) Fr 10:30-12:00 AH V (2356|050) (×7) Fr 11:00-12:30 Seminarraum i1, Raum 4017 (2353|017) (×1) | |||
| Tutorium | 455728 | Mo 14:30-16:00 AH IV (2354|030) (×9) | |||
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 453151 | ||
| Mathematische Logik I | Vorlesung | 448681 | Mi 09:00-10:00 Roter Hörsaal AM (Ro) (1420|002) (×14) Do 14:30-15:45 Roter Hörsaal AM (Ro) (1420|002) (×11) | ||
| Fach-/Modulprüfung | 6 | 450788 | |||
| Tutorium | 447557 | Mo 12:00-17:00 AH II (2350|111) (×1) Mo 14:30-16:30 Online-Veranstaltung (×1) Di 10:00-12:00 IV (1010|141) (×1) Di 10:30-12:00 AH V (2356|050) (×11) Di 16:30-18:00 Online-Veranstaltung (×1) Di 18:30-20:00 IV (1010|141) (×12) Mi 10:30-12:00 IV (1010|141) (×12) Mi 12:30-14:00 5056 (2356|056) (×12) Mi 13:30-15:30 IV (1010|141) (×1) Mi 14:30-16:30 Online-Veranstaltung (×1) Mi 16:30-18:00 Online-Veranstaltung (×11) Do 10:30-12:00 AH II (2350|111) (×10) Do 12:30-14:00 5056 (2356|056) (×10) Do 14:30-16:30 Online-Veranstaltung (×1) Do 16:30-18:00 Online-Veranstaltung (×10) Do 18:30-20:00 AH III (2350|314.1) (×10) Fr 12:00-17:00 TEMP1 (1515|001) (×1) Fr 12:30-14:00 I (1010|101) (×11) Fr 14:00-16:00 AH II (2350|111) (×1) Fr 14:30-16:00 AH II (2350|111) (×11) Fr 16:30-18:00 IV (1010|141) (×11) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 452314 |